package text1;

/**
 * Created with IntelliJ IDEA.
 * Description:
 */
sealed class Animal permits Dog{

}
/*final*/non-sealed class Dog extends Animal{

}
class Dogpet extends Dog{

}
//class Cat extends Animal{

//}
public class Text2 {
}
